翻訳と辞書 Words near each other ・ Algebraic space ・ Algebraic specification ・ Algebraic statistics ・ Algebraic structure ・ Algebraic surface ・ Algebraic theory ・ Algebraic topology ・ Algebraic topology (object) ・ Algebraic torus ・ Algebraic variety ・ Algebraic vector bundle ・ Algebraic-group factorisation algorithm ・ Algebraically closed field ・ Algebraically closed group ・ Algebraically compact group ・ Algebraically compact module ・ Algebrator ・ Algebris ・ Algebroid ・ Algebuckina Bridge ・ Algeciras ・ Algeciras (disambiguation) ・ Algeciras BM ・ Algeciras Campaign ・ Algeciras CF ・ Algeciras Conference ・ Algeciras Gate ・ Algeciras Heliport ・ Algeciras Municipal Library ・ Algeciras Town Hall Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Algebraically compact module ： ウィキペディア英語版 Algebraically compact module In mathematics, especially in the area of abstract algebra known as module theory, algebraically compact modules, also called pure-injective modules, are modules that have a certain "nice" property which allows the solution of infinite systems of equations in the module by finitary means. The solutions to these systems allow the extension of certain kinds of module homomorphisms. These algebraically compact modules are analogous to injective modules, where one can extend all module homomorphisms. All injective modules are algebraically compact, and the analogy between the two is made quite precise by a category embedding. == Definitions == Suppose ''R'' is a ring and ''M'' is a left ''R''-module. Take two sets ''I'' and ''J'', and for every ''i'' in ''I'' and ''j'' in ''J'', an element ''r''''ij'' of ''R'' such that, for every ''i'' in ''I'', only finitely many ''r''''ij'' are non-zero. Furthermore, take an element ''mi'' of ''M'' for every ''i'' in ''I''. These data describe a ''system of linear equations'' in ''M'': :$\backslash sum\_\; r\_x\_j\; =\; m\_i$   for every ''i''∈''I''. The goal is to decide whether this system has a ''solution'', i.e. whether there exist elements ''x''''j'' of ''M'' for every ''j'' in ''J'' such that all the equations of the system are simultaneously satisfied. (Note that we do not require that only finitely many of the ''xj'' are non-zero here.) Now consider such a system of linear equations, and assume that any subsystem consisting of only ''finitely many'' equations is solvable. (The solutions to the various subsystems may be different.) If every such "finitely-solvable" system is itself solvable, then we call the module ''M'' algebraically compact. A module homomorphism ''M'' → ''K'' is called ''pure injective'' if the induced homomorphism between the tensor products ''C'' ⊗ ''M'' → ''C'' ⊗ ''K'' is injective for every right ''R''-module ''C''. The module ''M'' is pure-injective if any pure injective homomorphism ''j'' : ''M'' → ''K'' splits (i.e. there exists ''f'' : ''K'' → ''M'' with ''fj'' = 1''M''). It turns out that a module is algebraically compact if and only if it is pure-injective. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebraically compact module」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.